Cambridge Semantics - PDFSEARCH.IO - Document Search Engine

Cambridge Semantics
Results: 79

#	Item
61	Towards Type-theoretic Semantics for Transactional Concurrency Aleksandar Nanevski Microsoft Research, Cambridge [removed] Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Formal methods Models of computation Hoare logic Separation logic Combinatory logic First-order logic Lambda calculus Mathematical logic Theoretical computer science Logic
62	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
63	JFP 22 (4–5): 705–746, [removed]c Cambridge University Press 2012 ! 705 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Programming language semantics Models of computation Computer science Operational semantics Model theory Lambda calculus Denotational semantics Theoretical computer science Applied mathematics Logic in computer science
64	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics
65	The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-06 09:47:04 Theoretical computer science Models of computation Metalogic Determinacy Denotational semantics Structure Symbol Duality Mathematics Model theory Mathematical logic
66	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
67	MFPS[removed]On concurrent games with payoff Pierre Clairambault1,2 Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-08-20 11:09:38 Denotational semantics Logic in computer science Structure Determinacy Model theory Theoretical computer science Mathematics Mathematical logic
68	1 Plurality Rick Nouwen to appear in Maria Aloni and Paul Dekker (eds), Cambridge Handbook of Semantics, CUP. Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2012-08-31 03:43:47 Predicate logic Grammar Semantics Propositional calculus Predicate Distributive property Cumulativity Distributivity Grammatical number Logic Mathematics Mathematical logic
69	CURRICULUM VITAE: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Work addresses: University of Cambridge Computer Laboratory William Gates Building Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-12-18 21:05:43 Mathematics Programming language semantics Aarhus University Coimbra Group Functionalist architecture Denotational semantics Computer science Semantics of programming languages Programming language theory Theoretical computer science Logic in computer science Mathematical logic
70	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-09 12:22:14 Petri net Models of computation Symbol Model theory

UPDATE